Interpretability into Lukasiewicz Algebras
نویسنده
چکیده
In this paper we give a characterization of all the interpretations of the varieties of bounded distributive lattices, De Morgan algebras and Lukasiewicz algebras of order m in the variety of Lukasiewicz algebras of order n. In the case of distributive lattices we give a structure theorem that is generalized to De Morgan algebras and to Lukasiewicz algebras of order m. In the last two cases we also give the number of such interpretations.
منابع مشابه
n×m−valued Lukasiewicz-Moisil algebras with two modal operators
In 2000, Figallo and Sanza introduced the n×m−valued Lukasiewicz-Moisil algebras, which are a particular case of Matrix Lukasiewicz algebras, and a nontrivial generalization of n−valued Lukasiewicz-Moisil algebras. Here we start a research on the class of n × m−valued Lukasiewicz-Moisil algebras endowed with two modal operators (or 2mLMn×m−algebras). These algebras constitute a common generaliz...
متن کاملRough 3-valued algebras
Rough set theory is an important tool for dealing with granularity and vagueness in information systems. This paper studies a kind of rough set algebra. The collection of all the rough sets of an approximation space can be made into a 3-valued Lukasiewicz algebra. We call the algebra a rough 3-valued Lukasiewicz algebra. In this paper, we focus on the rough 3-valued Lukasiewicz algebras, which ...
متن کاملWeak Implication on Generalized Lukasiewicz Algebras of Order
J. Vaz De Carvalho and T. Almada in A generalization of the Lukasiewicz algebras, Studia Logica 69 (2001), 329-338 introduced the variety Ln , m ≥ 1, n ≥ 2, of m–generalized Lukasiewicz algebras of order n as a generalization of Lukasiewicz algebras of order n and a particular case of Ockham algebras. In this note, bearing in mind the important role that weak implication played in the study of ...
متن کاملFree Lukasiewicz implication algebras
Lukasiewicz implication algebras are the {→, 1}-subreducts of MV algebras. They are the algebraic counterpart of SuperLukasiewicz Implicational Logics. We give a description of free Lukasiewicz implication algebras in the context of McNaughton functions. More precisely, we show that the |X|-free Lukasiewicz implication algebra is isomorphic to ⋃ x∈X [xθ) for a certain congruence θ over the |X|-...
متن کاملConnections between M V N Algebras and N-valued Lukasiewicz-moisil Algebras -iv 1 ;2
We introduce two chains of unary operations in the MVn algebra of Revaz Grigolia; they will be used in establishing many connections between these algebras and n-valued Lukasiewicz-Moisil algebras (LMn algebras for short). The study has four parts. It is by and large self-contained. The main result of the rst part is that MV4 algebras coincide with LM4 algebras. The larger class of \relaxed"-MV...
متن کامل